#  -static -optl-static -optl-pthread

ghc -O2 --make \
    -o Main Main.hs -prof  -auto-all -rtsopts -static -optl-static -optl-pthread
#    -o Main Main.hs -rtsopts -static -optl-static -optl-pthread



    
ghc -O2 -DDEBUG --make \
    -o ConfCheck ConfCheck.hs -rtsopts -static -optl-static -optl-pthread
#    -o ConfCheck ConfCheck.hs -prof  -auto-all -rtsopts -static -optl-static -optl-pthread

            
rm `find . -name "*.hi"`
rm `find . -name "*.o"`
